Compiler construction - PDFSEARCH.IO - Document Search Engine

Compiler construction
Results: 1898

#	Item
601	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
602	Introduction GCC & plugins Instrumentation 1 Add to Reading List Source URL: pax.grsecurity.net Language: English - Date: 2013-10-02 00:41:30 Compiler construction Compilers GNU Compiler Collection PaX C99 Static single assignment form C Software Computing Computer programming
603	Inside A Compiler Jonathan Worthington Perl 6 Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:22 Cross-platform software Perl 6 Procedural programming languages Perl Rakudo Perl 6 Parrot virtual machine Compiler Code generation Parse tree Software Computing Compiler construction
604	An Efficient Algorithm to Test Square-Freeness of Strings Compressed by Balanced Straight Line Programs Wataru Matsubara∗ Shunsuke Inenaga† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:06 Computing Formal languages Compiler construction Context-free grammar
605	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
606	aiT for C16x aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline b Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Real-time computing Worst-case execution time Compiler construction KEIL Compiler Toolchain C Executable Programming tool Computing Software Programming language implementation
607	How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-05 19:58:01 Computing Digital signal processing Signal processing Aliasing Program analysis Pointer aliasing Alias analysis Call graph Reference Compiler construction Software engineering Programming language theory
608	Implementing an Interpreter Dan Sugalski June 17, 2004 Add to Reading List Source URL: www.sidhe.org Language: English - Date: 2004-08-05 12:34:03 Compiler construction Programming language implementation High-level programming languages Scripting languages Bytecode Interpreter Parrot virtual machine Perl Just-in-time compilation Software Computing Cross-platform software
609	1 The EXTREM COMPILING Pattern Language The Construction of Compiler Back-Ends by Stepwise Transformation of Virtual Machines J.García-Martín M.Sutil-Martín Universidad Politécnica de Madrid Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:19:10 Compiler construction Programming language implementation Cross-platform software Logic programming Warren Abstract Machine Prolog Java virtual machine Compiler Intermediate language Computing Software Virtual machines
610	888: LLVM Week 4 - LLVM-IR II Tobias Grosser Last week problem - Sum Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Data types Procedural programming languages Compiler construction Program analysis C programming language LLVM Pointer C Struct Software engineering Computing Computer programming

UPDATE